\relax 
\catcode`"\active
\catcode`-\active
\select@language{czech}
\@writefile{toc}{\select@language{czech}}
\@writefile{lof}{\select@language{czech}}
\@writefile{lot}{\select@language{czech}}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}P\IeC {\v r}ipomenut\IeC {\'\i } pojm\IeC {\r u}}{3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{monotonie}{{1.0.2}{3}}
\newlabel{nerode}{{1.0.3}{4}}
\newlabel{kontext}{{1.0.4}{4}}
\newlabel{Myhill-Nerode}{{1.0.7}{5}}
\newlabel{Myhill-preorder}{{1.0.9}{6}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Dobr\IeC {\'a} p\IeC {\v r}eduspo\IeC {\v r}\IeC {\'a}d\IeC {\'a}n\IeC {\'\i }}{7}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{wqo}{{2.0.10}{7}}
\newlabel{genMyh}{{2.0.11}{8}}
\newlabel{genMyh2}{{2.0.12}{8}}
\newlabel{monwqo}{{2.0.14}{9}}
\newlabel{subwqo}{{2.0.15}{9}}
\newlabel{soucinwqo}{{2.0.17}{10}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}P\IeC {\v r}episovac\IeC {\'\i } syst\IeC {\'e}my}{12}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Thue}{{3.0.22}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Unit\IeC {\'a}rn\IeC {\'\i } p\IeC {\v r}episovac\IeC {\'\i } syst\IeC {\'e}my}{13}}
\newlabel{unitar}{{3.1.3}{13}}
\newlabel{unitar1}{{3.1.4}{13}}
\newlabel{unitar2}{{3.1.5}{14}}
\newlabel{unitar3}{{3.1.6}{14}}
\newlabel{nevyhnutelnost}{{3.1.7}{14}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}OS sch\IeC {\'e}mata* }{14}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Definice LTL}{16}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
